Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 1116 results
Sort by: relevance publication year
Showing results for ISSN matching 0934-5043

Compositional refinement in agent-based security protocols

JOURNAL ARTICLE published November 2011 in Formal Aspects of Computing

Authors: A. K. McIver | C. C. Morgan

https://doi.org/10.1007/s00165-010-0164-1 Actions

Assuring property conformance of code generators via model checking

JOURNAL ARTICLE published September 2011 in Formal Aspects of Computing

Authors: Sven Jörges | Tiziana Margaria | Bernhard Steffen

https://doi.org/10.1007/s00165-010-0169-9 Actions

Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation

JOURNAL ARTICLE published November 2017 in Formal Aspects of Computing

Research funded by European Cooperation in Science and Technology (IC 1402)

Authors: Hosein Nazarpour | Yliès Falcone | Saddek Bensalem | Marius Bozga

https://doi.org/10.1007/s00165-017-0422-6 Actions

Mechanised support for sound refinement tactics

JOURNAL ARTICLE published January 2012 in Formal Aspects of Computing

Authors: Frank Zeyda | Marcel Oliveira | Ana Cavalcanti

https://doi.org/10.1007/s00165-011-0218-z Actions

Correction to: Multiple model synchronizationwith multiary delta lenses with amendment andK-Putput

JOURNAL ARTICLE published February 2020 in Formal Aspects of Computing

Authors: Zinovy Diskin | Harald König | Mark Lawford

https://doi.org/10.1007/s00165-019-00502-2 Actions

Editorial

JOURNAL ARTICLE published May 2016 in Formal Aspects of Computing

Authors: Stephan Merz | Jun Pang | Jin Song Dong

https://doi.org/10.1007/s00165-016-0378-y Actions

On the expressive power of behavioral profiles

JOURNAL ARTICLE published July 2016 in Formal Aspects of Computing

Authors: Artem Polyvyanyy | Abel Armas-Cervantes | Marlon Dumas | Luciano García-Bañuelos

https://doi.org/10.1007/s00165-016-0372-4 Actions

Editorial

JOURNAL ARTICLE published January 2014 in Formal Aspects of Computing

Authors: Eerke Boiten | Steve Schneider

https://doi.org/10.1007/s00165-013-0290-7 Actions

Simulation relations for fault-tolerance

JOURNAL ARTICLE published November 2017 in Formal Aspects of Computing

Research funded by Fondo para la Investigación Científica y Tecnológica (PICT-2013-0080,PICT-2012-1298)

Authors: Ramiro Demasi | Pablo F. Castro | Thomas S. E. Maibaum | Nazareno Aguirre

https://doi.org/10.1007/s00165-017-0426-2 Actions

Contract-based verification of MATLAB-style matrix programs

JOURNAL ARTICLE published March 2016 in Formal Aspects of Computing

Authors: Jonatan Wiik | Pontus Boström

https://doi.org/10.1007/s00165-015-0353-z Actions

Legislation-driven development of a Gift Aid system using Event-B

JOURNAL ARTICLE published July 2020 in Formal Aspects of Computing

Research funded by Innovate UK (133294) | Innovate UK (133294) | Innovate UK (133294) | Innovate UK (133294)

Authors: David M. Williams | Salaheddin Darwish | Steve Schneider | David R. Michael

https://doi.org/10.1007/s00165-020-00512-5 Actions

Semantics of the probabilistic Lambda CalculusBy Dirk Draheim

JOURNAL ARTICLE published June 2021 in Formal Aspects of Computing

Authors: Michele Loreti

https://doi.org/10.1007/s00165-021-00534-7 Actions

SDLV: Verification of Steering Angle Safety for Self-Driving Cars

JOURNAL ARTICLE published June 2021 in Formal Aspects of Computing

Research funded by Fundamental Research Funds for the Central Universities (DUT20TD107)

Authors: Huihui Wu | Deyun Lv | Tengxiang Cui | Gang Hou | Masahiko Watanabe | Weiqiang Kong

https://doi.org/10.1007/s00165-021-00539-2 Actions

Editorial

JOURNAL ARTICLE published January 2018 in Formal Aspects of Computing

Authors: Ewen Denney | Perdita Stevens | Andrzej Wąsowski

https://doi.org/10.1007/s00165-017-0448-9 Actions

Accelerating worst case execution time analysis of timed automata models with cyclic behaviour

JOURNAL ARTICLE published November 2015 in Formal Aspects of Computing

Authors: Omar Al-Bataineh | Mark Reynolds | Tim French

https://doi.org/10.1007/s00165-015-0340-4 Actions

An algebraic approach to the design of compilers for object-oriented languages

JOURNAL ARTICLE published September 2010 in Formal Aspects of Computing

Authors: Adolfo Duran | Ana Cavalcanti | Augusto Sampaio

https://doi.org/10.1007/s00165-009-0124-9 Actions

Refining autonomous agents with declarative beliefs and desires

JOURNAL ARTICLE published March 2017 in Formal Aspects of Computing

Research funded by Australian Research Council (DP110101211)

Authors: Qin Li | Graeme Smith

https://doi.org/10.1007/s00165-016-0391-1 Actions

Proving completeness of logic programs with the cut

JOURNAL ARTICLE published January 2017 in Formal Aspects of Computing

Authors: Włodzimierz Drabent

https://doi.org/10.1007/s00165-016-0392-0 Actions

Consistency-preserving refactoring of refinement structures in Event-B models

JOURNAL ARTICLE published June 2019 in Formal Aspects of Computing

Authors: Tsutomu Kobayashi | Fuyuki Ishikawa | Shinichi Honiden

https://doi.org/10.1007/s00165-019-00478-z Actions

Concolic testing of the multi-sector read operation for flash storage platform software

JOURNAL ARTICLE published May 2012 in Formal Aspects of Computing

Authors: Moonzoo Kim | Yunho Kim | Yunja Choi

https://doi.org/10.1007/s00165-011-0200-9 Actions
Feedback: support@crossref.org